Najdłuższy dowód matematyczny w historii
1 czerwca 2016, 09:33Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.
Ban to nie sposób na skrajne poglądy. Usunięci z mediów społecznościowych są bardziej toksyczni
5 sierpnia 2021, 08:57Użytkownicy zbanowani za zachowanie z jednej platformy społecznościowej, często pojawiają się na innej, gdzie zachowują się jeszcze gorzej, jeszcze bardziej agresywnie. Do takich wniosków doszedł międzynarodowy zespół naukowy, który przeprowadził badania Understanding the Effect of Deplatforming on Social Networks.
Naukowiec pracuje nad wirtualnym chórem
23 lipca 2007, 12:54Doktor Barry Cheetham jest wykładowcą informatyki na Uniwersytecie w Manchesterze. Prywatnie jest zaś miłośnikiem śpiewu chóralnego. Naukowiec postanowił połączyć obie pasje i rozpoczął projekt, którego celem jest utworzenie wirtualnego chóru.
Uczniowie przystąpią do "Świetlika"
9 marca 2012, 09:33We wtorek, 20 marca br., w ponad 800 szkołach podstawowych z całej Polski około 27 tys. uczniów z klas 1-6 przystąpi do konkursu „Świetlik”. Będzie to już V edycja Ogólnopolskiego Konkursu Nauk Przyrodniczych, którego celem jest popularyzacja nauk przyrodniczych wśród uczniów szkół podstawowych.
Zmiany klimatu mogą prowadzić do paraliżów komunikacyjnych
8 maja 2019, 11:12Spowodowane globalnym ociepleniem zwiększenie ilości opadów może doprowadzić do paraliżu komunikacyjnego na olbrzymich obszarach. Grupa naukowców stworzyła model komputerowy, w którym połączono dane dotyczące sieci drogowych oraz ukształtowania terenu
COBOL kończy 50 lat
18 września 2009, 17:25COBOL, jeden z najbardziej rozpowszechnionych języków oprogramowania, obchodzi dzisiaj 50. urodziny. Mimo swojego zaawansowanego wieku jest on wciąż chętnie używany w aplikacjach przemysłowych.
Turing nie trafi na banknoty
21 marca 2013, 11:54Wybitny matematyk, pionier informatyki Alan Turing nie trafi na nowe brytyjskie banknoty. Kandydaturę Turinga poparło zbyt mało osób.
Fizycy mają najlepszy dowód na istnienie anyonów. Mogą one posłużyć do budowy komputera kwantowego
7 lipca 2020, 10:34Fizycy donoszą o zdobyciu pierwszego bezsprzecznego dowodu na istnienie anyonów, cząstek, których istnienie zostało zaproponowane przed ponad 40 laty. Anyony to kwazicząstki, które nie są ani fermionami, ani bozonami zatem podlegają statystyce innej niż statystyka Fermiego-Diraca i Bosego-Einsteina. Anyony mogą istnieć w przestrzeni dwuwymiarowej.
Współzałożyciel Microsoftu pozywa Google'a
30 sierpnia 2010, 11:05Firma Interval Licensing LLC pozwała do sądu AOL, Apple'a, eBay, Facebooka, Google'a, Netfliksa, Office Depot, Office Max, Staples, Yahoo i YouTube'a. Zarzucono im naruszenie patentów należących do przedsiębiorstwa.
Izraelczycy z Cellebrite łamią każdy smartfon
23 listopada 2016, 09:02Izraelska firma Cellebrite jest w stanie w ciągu kilku sekund zdobyć dane przechowywane na zablokowanym smartfonie. Przedsiębiorstwo ma obecnie klientów w 115 krajach świata, wielu z nich to agendy rządowe. O Cellebrite stało się głośno, gdy w marcu bieżącego roku jedna z izraelskich gazet poinformowała, że pomogła ona FBI w uzyskaniu dostępu do danych przechowywanych na smartfonie zamachowca z San Bernardino
